package tarantula.experiment.jdom;

import junit.framework.TestCase;

public class JDomFailedUnsimplifiedTests extends TestCase {
	public void test1() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    int var1 = var0.getFilterMask();
	    org.jdom.filter.ContentFilter var2 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var3 = new java.lang.Boolean(true);
	    var2.setPIVisible((boolean)var3);
	    org.jdom.filter.Filter var5 = var0.or((org.jdom.filter.Filter)var2);
	    org.jdom.UncheckedJDOMFactory var6 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var7 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var8 = "hi!";
	    org.jdom.IllegalAddException var9 = new org.jdom.IllegalAddException(var8);
	    java.lang.String var10 = "hi!";
	    org.jdom.IllegalAddException var11 = new org.jdom.IllegalAddException(var10);
	    java.lang.Integer var12 = new java.lang.Integer(0);
	    org.jdom.Attribute var13 = var7.attribute(var8, var10, (int)var12);
	    java.lang.String var14 = "hi!";
	    org.jdom.IllegalAddException var15 = new org.jdom.IllegalAddException(var14);
	    org.jdom.DocType var16 = var6.docType(var10, var14);
	    java.lang.String var17 = var16.getPublicID();
	    java.lang.String var18 = "hi!";
	    org.jdom.DocType var19 = var16.setSystemID(var18);
	    java.lang.String var20 = var16.getSystemID();
	    boolean var21 = var0.matches((java.lang.Object)var20);
	    var0.setDefaultMask();
	    java.lang.Integer var23 = new java.lang.Integer(0);
	    org.jdom.filter.ContentFilter var24 = new org.jdom.filter.ContentFilter(var23);
	    org.jdom.filter.ContentFilter var25 = new org.jdom.filter.ContentFilter();
	    int var26 = var25.getFilterMask();
	    org.jdom.filter.ContentFilter var27 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var28 = new java.lang.Boolean(true);
	    var27.setPIVisible((boolean)var28);
	    org.jdom.filter.Filter var30 = var25.or((org.jdom.filter.Filter)var27);
	    boolean var31 = var24.matches((java.lang.Object)var25);
	    org.jdom.filter.Filter var32 = var0.or((org.jdom.filter.Filter)var25);
	    var25.setDocumentContent();
	    
	    // Checks the contract:  equals-hashcode on var30 and var32
	    assertTrue("Contract failed: equals-hashcode on var30 and var32", var30.equals(var32) ? var30.hashCode() == var32.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var32 and var30
	    assertTrue("Contract failed: equals-hashcode on var32 and var30", var32.equals(var30) ? var32.hashCode() == var30.hashCode() : true);

	  }

	  public void test2() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    int var1 = var0.getFilterMask();
	    org.jdom.filter.ContentFilter var2 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var3 = new java.lang.Boolean(true);
	    var2.setPIVisible((boolean)var3);
	    org.jdom.filter.Filter var5 = var0.or((org.jdom.filter.Filter)var2);
	    org.jdom.UncheckedJDOMFactory var6 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var7 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var8 = "hi!";
	    org.jdom.IllegalAddException var9 = new org.jdom.IllegalAddException(var8);
	    java.lang.String var10 = "hi!";
	    org.jdom.IllegalAddException var11 = new org.jdom.IllegalAddException(var10);
	    java.lang.Integer var12 = new java.lang.Integer(0);
	    org.jdom.Attribute var13 = var7.attribute(var8, var10, (int)var12);
	    java.lang.String var14 = "hi!";
	    org.jdom.IllegalAddException var15 = new org.jdom.IllegalAddException(var14);
	    org.jdom.DocType var16 = var6.docType(var10, var14);
	    java.lang.String var17 = var16.getPublicID();
	    java.lang.String var18 = "hi!";
	    org.jdom.DocType var19 = var16.setSystemID(var18);
	    java.lang.String var20 = var16.getSystemID();
	    boolean var21 = var0.matches((java.lang.Object)var20);
	    var0.setDefaultMask();
	    java.lang.Integer var23 = new java.lang.Integer(0);
	    org.jdom.filter.ContentFilter var24 = new org.jdom.filter.ContentFilter(var23);
	    org.jdom.filter.ContentFilter var25 = new org.jdom.filter.ContentFilter();
	    int var26 = var25.getFilterMask();
	    org.jdom.filter.ContentFilter var27 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var28 = new java.lang.Boolean(true);
	    var27.setPIVisible((boolean)var28);
	    org.jdom.filter.Filter var30 = var25.or((org.jdom.filter.Filter)var27);
	    boolean var31 = var24.matches((java.lang.Object)var25);
	    org.jdom.filter.Filter var32 = var0.or((org.jdom.filter.Filter)var25);
	    org.jdom.input.SAXBuilder var33 = new org.jdom.input.SAXBuilder();
	    org.jdom.UncheckedJDOMFactory var34 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var35 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var36 = "hi!";
	    org.jdom.IllegalAddException var37 = new org.jdom.IllegalAddException(var36);
	    java.lang.String var38 = "hi!";
	    org.jdom.IllegalAddException var39 = new org.jdom.IllegalAddException(var38);
	    java.lang.Integer var40 = new java.lang.Integer(0);
	    org.jdom.Attribute var41 = var35.attribute(var36, var38, (int)var40);
	    java.lang.String var42 = "hi!";
	    org.jdom.IllegalAddException var43 = new org.jdom.IllegalAddException(var42);
	    org.jdom.DocType var44 = var34.docType(var38, var42);
	    java.lang.String var45 = var44.getPublicID();
	    java.lang.String var46 = "hi!";
	    org.jdom.DocType var47 = var44.setSystemID(var46);
	    java.lang.String var48 = var44.getSystemID();
	    java.lang.String var49 = org.jdom.Verifier.checkNamespaceURI(var48);
	    org.jdom.Namespace var50 = org.jdom.Namespace.getNamespace(var48);
	    java.lang.String var51 = var50.toString();
	    java.lang.String var52 = var50.toString();
	    java.lang.Character var53 = new java.lang.Character(' ');
	    boolean var54 = org.jdom.Verifier.isHighSurrogate((char)var53);
	    var33.setFeature(var52, (boolean)var54);
	    org.xml.sax.EntityResolver var56 = var33.getEntityResolver();
	    org.xml.sax.DTDHandler var57 = var33.getDTDHandler();
	    boolean var58 = var33.getIgnoringBoundaryWhitespace();
	    org.jdom.input.SAXBuilder var59 = new org.jdom.input.SAXBuilder(var58);
	    var25.setPIVisible((boolean)var58);
	    
	    // Checks the contract:  equals-hashcode on var30 and var32
	    assertTrue("Contract failed: equals-hashcode on var30 and var32", var30.equals(var32) ? var30.hashCode() == var32.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var32 and var30
	    assertTrue("Contract failed: equals-hashcode on var32 and var30", var32.equals(var30) ? var32.hashCode() == var30.hashCode() : true);

	  }

	  public void test3() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    int var1 = var0.getFilterMask();
	    org.jdom.filter.ContentFilter var2 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var3 = new java.lang.Boolean(true);
	    var2.setPIVisible((boolean)var3);
	    org.jdom.filter.Filter var5 = var0.or((org.jdom.filter.Filter)var2);
	    org.jdom.UncheckedJDOMFactory var6 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var7 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var8 = "hi!";
	    org.jdom.IllegalAddException var9 = new org.jdom.IllegalAddException(var8);
	    java.lang.String var10 = "hi!";
	    org.jdom.IllegalAddException var11 = new org.jdom.IllegalAddException(var10);
	    java.lang.Integer var12 = new java.lang.Integer(0);
	    org.jdom.Attribute var13 = var7.attribute(var8, var10, (int)var12);
	    java.lang.String var14 = "hi!";
	    org.jdom.IllegalAddException var15 = new org.jdom.IllegalAddException(var14);
	    org.jdom.DocType var16 = var6.docType(var10, var14);
	    java.lang.String var17 = var16.getPublicID();
	    java.lang.String var18 = "hi!";
	    org.jdom.DocType var19 = var16.setSystemID(var18);
	    java.lang.String var20 = var16.getSystemID();
	    boolean var21 = var0.matches((java.lang.Object)var20);
	    var0.setDefaultMask();
	    java.lang.Integer var23 = new java.lang.Integer(0);
	    org.jdom.filter.ContentFilter var24 = new org.jdom.filter.ContentFilter(var23);
	    org.jdom.filter.ContentFilter var25 = new org.jdom.filter.ContentFilter();
	    int var26 = var25.getFilterMask();
	    org.jdom.filter.ContentFilter var27 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var28 = new java.lang.Boolean(true);
	    var27.setPIVisible((boolean)var28);
	    org.jdom.filter.Filter var30 = var25.or((org.jdom.filter.Filter)var27);
	    boolean var31 = var24.matches((java.lang.Object)var25);
	    org.jdom.filter.Filter var32 = var0.or((org.jdom.filter.Filter)var25);
	    org.jdom.Document var33 = new org.jdom.Document();
	    org.jdom.UncheckedJDOMFactory var34 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var35 = "hi!";
	    org.jdom.IllegalAddException var36 = new org.jdom.IllegalAddException(var35);
	    java.lang.String var37 = "hi!";
	    org.jdom.IllegalAddException var38 = new org.jdom.IllegalAddException(var37);
	    java.lang.Integer var39 = new java.lang.Integer(0);
	    org.jdom.Attribute var40 = var34.attribute(var35, var37, (int)var39);
	    java.lang.String var41 = "hi!";
	    org.jdom.IllegalAddException var42 = new org.jdom.IllegalAddException(var41);
	    org.jdom.Text var43 = var34.text(var41);
	    java.lang.String var44 = "hi!";
	    org.jdom.IllegalAddException var45 = new org.jdom.IllegalAddException(var44);
	    org.jdom.Text var46 = new org.jdom.Text(var44);
	    java.lang.Object var47 = var46.clone();
	    var43.append(var46);
	    java.lang.String var49 = var46.getTextNormalize();
	    boolean var50 = var33.removeContent((org.jdom.Content)var46);
	    org.jdom.filter.ContentFilter var51 = new org.jdom.filter.ContentFilter();
	    int var52 = var51.getFilterMask();
	    org.jdom.filter.ContentFilter var53 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var54 = new java.lang.Boolean(true);
	    var53.setPIVisible((boolean)var54);
	    org.jdom.filter.Filter var56 = var51.or((org.jdom.filter.Filter)var53);
	    java.util.List var57 = var33.removeContent(var56);
	    org.jdom.Document var58 = new org.jdom.Document(var57);
	    org.jdom.Document var59 = var58.getDocument();
	    org.jdom.Parent var60 = var58.getParent();
	    boolean var61 = var25.matches((java.lang.Object)var58);
	    org.jdom.filter.ContentFilter var62 = new org.jdom.filter.ContentFilter();
	    org.jdom.UncheckedJDOMFactory var63 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var64 = "hi!";
	    org.jdom.IllegalAddException var65 = new org.jdom.IllegalAddException(var64);
	    java.lang.String var66 = "hi!";
	    org.jdom.IllegalAddException var67 = new org.jdom.IllegalAddException(var66);
	    java.lang.Integer var68 = new java.lang.Integer(0);
	    org.jdom.Attribute var69 = var63.attribute(var64, var66, (int)var68);
	    org.jdom.UncheckedJDOMFactory var70 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var71 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var72 = "hi!";
	    org.jdom.IllegalAddException var73 = new org.jdom.IllegalAddException(var72);
	    java.lang.String var74 = "hi!";
	    org.jdom.IllegalAddException var75 = new org.jdom.IllegalAddException(var74);
	    java.lang.Integer var76 = new java.lang.Integer(0);
	    org.jdom.Attribute var77 = var71.attribute(var72, var74, (int)var76);
	    java.lang.String var78 = "hi!";
	    org.jdom.IllegalAddException var79 = new org.jdom.IllegalAddException(var78);
	    org.jdom.DocType var80 = var70.docType(var74, var78);
	    org.jdom.DocType var81 = var63.docType(var78);
	    org.jdom.UncheckedJDOMFactory var82 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var83 = "hi!";
	    org.jdom.IllegalAddException var84 = new org.jdom.IllegalAddException(var83);
	    java.lang.String var85 = "hi!";
	    org.jdom.IllegalAddException var86 = new org.jdom.IllegalAddException(var85);
	    java.lang.Integer var87 = new java.lang.Integer(0);
	    org.jdom.Attribute var88 = var82.attribute(var83, var85, (int)var87);
	    org.jdom.DocType var89 = var81.setSystemID(var85);
	    boolean var90 = var62.equals((java.lang.Object)var89);
	    var62.setDefaultMask();
	    var62.setDocumentContent();
	    org.jdom.filter.Filter var93 = var25.and((org.jdom.filter.Filter)var62);
	    java.lang.Character var94 = new java.lang.Character('#');
	    boolean var95 = org.jdom.Verifier.isHighSurrogate((char)var94);
	    boolean var96 = org.jdom.Verifier.isXMLLetterOrDigit((char)var94);
	    boolean var97 = org.jdom.Verifier.isURICharacter((char)var94);
	    var25.setEntityRefVisible((boolean)var97);
	    
	    // Checks the contract:  equals-hashcode on var30 and var32
	    assertTrue("Contract failed: equals-hashcode on var30 and var32", var30.equals(var32) ? var30.hashCode() == var32.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var32 and var30
	    assertTrue("Contract failed: equals-hashcode on var32 and var30", var32.equals(var30) ? var32.hashCode() == var30.hashCode() : true);

	  }
}
